Special:Debug hasn't been active in a while and was long deprecated and not

usable on a default install. Removing. (It's just a phpinfo() wrapper
anyway.)

diff --git a/includes/SpecialDebug.php b/includes/SpecialDebug.php
deleted file mode 100644 (file)
index cc82c0a..0000000
--- a/includes/SpecialDebug.php
+++ /dev/null
@@ -1,19 +0,0 @@
-<?php
-/**
- * Let developpers receive the full phpinfo output
- * @package MediaWiki
- * @subpackage SpecialPage
- */
- 
-/**
- *
- */
-function wfSpecialDebug() {
-       global $wgUser, $wgOut;
-
-       if ( ! $wgUser->isAllowed('siteadmin') ) {
-               $wgOut->developerRequired();
-               return;
-       }
-       phpinfo();
-}